home *** CD-ROM | disk | FTP | other *** search
/ PC Pro 2006 April / DPPRO0406DVD.ISO / Essentials / Programming / Eclipse SDK / eclipse-SDK-3.1.1-win32.exe / eclipse / plugins / org.eclipse.ui.intro_3.1.1.jar / empty_swt.properties < prev    next >
Encoding:
Text File  |  2005-09-29  |  5.7 KB  |  156 lines
  1. ###############################################################################
  2. # Copyright (c) 2003, 2004 IBM Corporation and others.
  3. # All rights reserved. This program and the accompanying materials
  4. # are made available under the terms of the Eclipse Public License v1.0
  5. # which accompanies this distribution, and is available at
  6. # http://www.eclipse.org/legal/epl-v10.html
  7. #
  8. # Contributors:
  9. #     IBM Corporation - initial API and implementation
  10. ###############################################################################
  11. ! Alternative style file for SWT presentation
  12.  
  13. ! General properties that can only be specified in a shared style 
  14. ! file because they apply to the whole presentation.
  15.     ! Background color of all presentation 
  16.     ! ------------------------------------
  17.     bg = #rrggbb hex
  18.  
  19.     ! Color for presentation title 
  20.     ! -----------------------------
  21.     title.fg = #rrggbb hex
  22.  
  23.     ! Backgournd Image for presentation title  
  24.     ! ----------------------------------------
  25.     title.image = <file name>
  26.     title.image.repeat = true/false
  27.     
  28.     ! Flag to display the Home Page using custom layout. Default is true.
  29.     ! ----------------------------------------
  30.     home-page-custom-layout = true/false
  31.  
  32.     
  33.     
  34.  
  35. ! Home Page settings
  36. ! ------------------
  37.     ! The home page layout supports all customization that is supported by a Page,
  38.     ! except what is specified under Subtitle, Description and Fonts. 
  39.     
  40.     ! In addition, the following customizations applies only to home page:
  41.     ! Color for home page link description (default is UI forms TITLE color, which is 
  42.     ! a system color) 
  43.     ! -------------------------------------
  44.     <homePageId>.hover-text.fg = #rrggbb hex
  45.  
  46.  
  47.     ! Default icons for links in the navigation bar which is added to each page
  48.     ! -------------------------------------------------------------------------
  49.     <homePageId>.small-link-icon = <relative file name>
  50.     <homePageId>.small-hover-icon = <relative file name>
  51.  
  52.     ! Icon for a given link in the Home Page, and its corresponding link in 
  53.     ! the navigation bar 
  54.     ! ----------------------------------------------------------------------
  55.     <homePageId>.<linkId>.link-icon = <relative file name>
  56.     <homePageId>.<linkId>.hover-icon = <relative file name>
  57.     <homePageId>.<linkId>.small-link-icon = <relative file name>
  58.     <homePageId>.<linkId>.small-hover-icon = <relative file name>
  59.  
  60.  
  61.  
  62.  
  63. ! Page settings
  64. ! -------------
  65. ! Note: in any of the page settings, if the <pageId> is ommitted and the 
  66. ! property starts with a ".", then this property applies to this whole page,
  67. ! and to any page that inherits the properties of this page. So in effect,
  68. ! this property becomes like a shared property.
  69.  
  70.     ! Flag to display link description in a given page. Default is true.
  71.     <pageId>.show-link-description = true/false
  72.     .show-link-description = true/false
  73.     
  74.     ! Flag to display Root page navigation links in a given page. Default is true.
  75.     <pageId>.show-home-page-navigation = true/false
  76.     .show-home-page-navigation = true/false
  77.  
  78.     ! Layout:
  79.     ! -------
  80.     ! Number of columns in this page or group.
  81.     <pageId>.layout.ncolumns = <integer>
  82.     <pageId>.<path_to_group>.layout.ncolumns = <integer>
  83.     
  84.     ! vertical/horizantal spacing of all objects in a given page or group.
  85.     <pageId>.<path_to_group>.layout.vspacing = <integer>
  86.     <pageId>.<path_to_group>.layout.hspacing = <integer>
  87.     
  88.     ! Number of columns/rows an element spans in its group or page.
  89.     <pageId>.<path_to_element>.layout.colspan = <integer>
  90.     <pageId>.<path_to_element>.layout.rowspan = <integer>
  91.  
  92.     
  93.     ! Icons:
  94.     ! ------
  95.     ! default icon/hover icon used for all links in the page.
  96.     <pageId>.link-icon = <relative file name>
  97.     <pageId>.hover-icon = <relative file name>
  98.     
  99.     ! icon/hover icon for specific link/Image link.
  100.     <pageId>.<path_to_link>.link-icon = <relative file name>
  101.     <pageId>.<path_to_link>.hover-icon = <relative file name>
  102.     
  103.  
  104.     ! Sub Title:
  105.     ! ----------
  106.     ! The path of the child Text element that will be used as subtitle of this page.
  107.     ! (Can only be a child Text element)
  108.     <pageId>.subtitle-id = <path to subtitle child>
  109.     
  110.     ! The style id of the direct child Text element that will be used as subtitle of any page. 
  111.     ! It would be used if a specific id has not been specified at the page. 
  112.     ! (Can only be a child Text element)
  113.     subtitle-style-id = <style id of child subtitle Text element>
  114.  
  115.  
  116.     ! Description:
  117.     ! ------------
  118.     ! The path of the child Text element that will be used as description of this page. 
  119.     ! (Can only be a child Text element)
  120.     <pageId>.description-id = <path to child description Text element>
  121.  
  122.     ! The path of the child Text element that will be used as description of this group. 
  123.     ! (Can only be a child Text element)
  124.     <pageId>.<path_to_group>.description-id = <path to child description Text element>
  125.     
  126.     ! The style id of the direct child Text element that will be used as description of any 
  127.     ! page or any group. It would be used if a specific id has not been specified at the page 
  128.     ! or group level. (Can only be a child Text element)
  129.     description-style-id = <style id of child description Text element>
  130.  
  131.     
  132.     ! Page elements Font:
  133.     ! -------------------
  134.     ! Set the color for a specific Text or Group label. If applied to a group the label of 
  135.     ! the group gets the color and not the description text. To color description text, 
  136.     ! set its color explicitly.
  137.     ! note: it is not recommended to set the color of a link because it changes the 
  138.     ! theme of the link colors.
  139.     <pageId>.<path_to_element>.font.fg = #rrggbb hex
  140.     
  141.     ! make a Text element bold. Note that if the Text string itself has any formatting
  142.     ! tags like <b> and <li> then this bold property is ignored.
  143.     <pageId>.<path_to_text>.font.bold = true/false
  144.     
  145.     ! The style id that will make any Text element bold. It would be used if that Text element 
  146.     ! does not have a bold property explicitly set.
  147.     bold-style-id = <style id of child subtitle Text element>
  148.     
  149.     
  150.  
  151.  
  152.  
  153.  
  154.  
  155.  
  156.